Presupozicije, logika i dinamika vjerovanja

In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical systems. At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions.U istraživanju presupozicija u odnosu na logiku i dinamiku vjerovanja razlikujemo dva povezana dijela. Prvi dio se odnosi na presupozicije i logiku koja ne mora biti povezana s intenzionalnim operatorima. Tu se primarno koncentriramo na klasičnu, slobodnu i presupozicijsku logiku. U odnosu na klasičnu logiku razmatramo dobro poznati Strawsonov pristup problemu presupozicija. Nadalje, razmatramo slobodne logike, posebice van Fraassenovo istraživanje uloge presupozicija u supervaluacijskim logičkim sistemima. Na kraju prvog dijela razmatramo izvornu Thomasonovu izgradnju presupozicijske logike. Drugi dio se odnosi na povezanost presupozicija i logike dinamike vjerovanja. Ovdje razmatramo logiku promjene vjerovanja u okviru epistemičkih pojmova imanentnih mehanizmu dinamičke logike. Tri razmatrana pristupa su situacijska semantika (Barwise, Perry), teorija promjene vjerovanja, odnosno, Alchourron/Gärdenfors/Makinsonova (AGM) teorija, te na kraju Hintikkin pristup u izgradnji epistemièke logike

Accuracy of reliability calculated by the Monte Carlo simulation method

Reliability is the main indicator of the quality of special purpose equipment/systems, which are in their service life exposed to extreme operating modes and environmental conditions. Reliability of electronic equipment/systems is difficult to determine analytically, specially for repairabile systems with a large number of elements because of a large number of possible system states, which requires setting up and solving a system of a large number of equations. Therefore, simulation methods are applied to determine the reliability of electronic equipment/systems. This paper examines the accuracy of the point estimate of reliability calculated by the Monte Carlo simulation method depending on the sample size n, and the number of iterations (repetitions of calculation), Np